1. Basic model theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Model theory

رده :
QA
9
.
7
.
D62

2. Basic model theory /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Model theory

رده :
QA9
.
7
.
D64
1996

3. From logic to logic programming

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Logic programming

رده :
QA
76
.
63
.
D64
1994

4. From logic to logic programming /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming

رده :
QA76
.
63
.
D64
1994